DISJ

val DISJ: Int = 23